Belgium

Results: 14843



#Item
871How to Certify the Leakage of a Chip? F. Durvaux, F.-X. Standaert, N. Veyrat-Charvillon UCL Crypto Group, Belgium EUROCRYPT 2014, Copenhagen, Denmark

How to Certify the Leakage of a Chip? F. Durvaux, F.-X. Standaert, N. Veyrat-Charvillon UCL Crypto Group, Belgium EUROCRYPT 2014, Copenhagen, Denmark

Add to Reading List

Source URL: ec14.compute.dtu.dk

Language: English - Date: 2014-05-16 06:54:28
    872Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications Gijs Vanspauwen and Bart Jacobs iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium {gijs.vanspauwen,bart.jacobs}@cs.kul

    Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications Gijs Vanspauwen and Bart Jacobs iMinds-DistriNet, KU Leuven, 3001 Leuven, Belgium {gijs.vanspauwen,bart.jacobs}@cs.kul

    Add to Reading List

    Source URL: www.stance-project.eu

    Language: English - Date: 2015-09-15 07:28:15
      873LERU Office MinderbroedersstraatLeuven, Belgium PRESS RELEASE 23 September 2015

      LERU Office MinderbroedersstraatLeuven, Belgium PRESS RELEASE 23 September 2015

      Add to Reading List

      Source URL: www.leru.org

      Language: English - Date: 2015-09-23 04:37:50
        874Tom Sydney Kerckhove Computer Scientist Address: HoogeindMol, Belgium TEL: +

        Tom Sydney Kerckhove Computer Scientist Address: HoogeindMol, Belgium TEL: +

        Add to Reading List

        Source URL: cs-syd.eu

        Language: English - Date: 2016-03-05 16:24:33
          875Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

          Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

          Add to Reading List

          Source URL: www.montefiore.ulg.ac.be

          Language: English - Date: 2008-01-31 12:13:41
            876THE SCIENCE OF SELFORGANIZATION AND ADAPTIVITY Francis Heylighen, Center

            THE SCIENCE OF SELFORGANIZATION AND ADAPTIVITY Francis Heylighen, Center "Leo Apostel", Free University of Brussels, Belgium Summary: The theory of self-organization and adaptivity has grown out of a variety of disciplin

            Add to Reading List

            Source URL: www.redfish.com

            Language: English - Date: 2012-07-15 22:38:47
              877CASE STUDY EDUCATION / MANAGED DOCUMENT SERVICES Managed Document Services enhance education process School children in Belgium are benefiting from Managed Document Services. With Ricoh’s help, schools are able to pro

              CASE STUDY EDUCATION / MANAGED DOCUMENT SERVICES Managed Document Services enhance education process School children in Belgium are benefiting from Managed Document Services. With Ricoh’s help, schools are able to pro

              Add to Reading List

              Source URL: www.ricoh.it

              Language: English - Date: 2015-09-18 08:59:40
                878Can we find sequences without knowing any terms?: Bringing structured data to more of the OEIS Eric Rowland University of Li`ege, Belgium Introduction

                Can we find sequences without knowing any terms?: Bringing structured data to more of the OEIS Eric Rowland University of Li`ege, Belgium Introduction

                Add to Reading List

                Source URL: thales.math.uqam.ca

                Language: English - Date: 2014-10-04 10:11:30
                  879PwC Legal UAE PwC Australia Law Square (Belgium)

                  PwC Legal UAE PwC Australia Law Square (Belgium)

                  Add to Reading List

                  Source URL: www.pwclegal.co.uk

                  Language: English - Date: 2015-09-11 22:44:12
                    880Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca

                    Multi-Module Fully Abstract Compilation (Extended Abstract) Marco Patrignani, Dominique Devriese, Frank Piessens iMinds-DistriNet, KU Leuven, Belgium High-level languages like Java or ML support abstraction and data enca

                    Add to Reading List

                    Source URL: software.imdea.org

                    Language: English - Date: 2015-07-09 06:40:16